IT University of Copenhagen sitecore@itu.dk https://video.itu.dk en-us Visualplatform http://blogs.law.harvard.edu/tech/rss IT University of Copenhagen Stay up to date with all the things that are happening at IT University of Copenhagen. This podcast will serve you various videos and audios with accounts from scientists and actual students at IT University, and give you a glimpse into their... episodic no https://video.itu.dk/files/rv0.0/sitelogo.gif https://video.itu.dk http://video.itu.dk/photo/9973879/the-hilbert-heartbreak-hotel <p>Algorithms and classical music is Associate Professor Thore Husfeldt's big passion.<p>Thore is the local chairman of the ICALP2014 conference at the IT University of Copenhagen.</p><p>ICALP awards the prestigious Gödel Prize. A prize for outstanding papers in theoretical computer science, named after Kurt Gödel.</p><p>In this regard Thore commissioned his friend and composer Niels Marthinsen to create a new pice of classical music for chamber orchestra&nbsp;interpreted by Gödels two incompleteness theorems. The theorems are important both in mathematical logic and in the philosophy of mathematics.</p><p>In this video Thore Husfeldt and Niels Marthinsen discuss the outcome of the musical work.</p><p>For more information about the ICALP2014 Conference at the IT University of Copenhagen:&nbsp;</p><p><a href="http://icalp2014.itu.dk">http://icalp2014.itu.dk</a><br></p></p><p><a href="http://video.itu.dk/photo/9973879/the-hilbert-heartbreak-hotel"><img src="http://video.itu.dk/9826383/9973879/20389aa8dbc6db24ea756045040de572/standard/download-1-thumbnail.jpg" width="600" height="338"/></a></p> http://video.itu.dk/photo/9973879 Wed, 25 Jun 2014 11:43:49 GMT THE HILBERT HEARTBREAK HOTEL Algorithms and classical music is Associate Professor Thore Husfeldt's big passion.Thore is the local chairman of the ICALP2014 conference at the IT University of Copenhagen.ICALP awards the prestigious Gödel Prize. A prize for outstanding papers in theoretical computer science, named after Kurt Gödel.In this regard Thore commissioned his friend and composer Niels Marthinsen to create a new pice of classical music for chamber orchestrainterpreted by Gödels two incompleteness theorems. The theorems are important both in mathematical logic and in the philosophy of mathematics.In this video Thore Husfeldt and Niels Marthinsen discuss the outcome of the musical work.For more information about the ICALP2014 Conference at the IT University of Copenhagen:http://icalp2014.itu.dk Algorithms and classical music is Associate Professor Thore Husfeldt's big passion.Thore is the local chairman of the ICALP2014 conference at the IT University of Copenhagen.ICALP awards the prestigious Gödel Prize. A prize for outstanding papers... IT University of Copenhagen 04:35 <p>Algorithms and classical music is Associate Professor Thore Husfeldt's big passion.<p>Thore is the local chairman of the ICALP2014 conference at the IT University of Copenhagen.</p><p>ICALP awards the prestigious Gödel Prize. A prize for outstanding papers in theoretical computer science, named after Kurt Gödel.</p><p>In this regard Thore commissioned his friend and composer Niels Marthinsen to create a new pice of classical music for chamber orchestra&nbsp;interpreted by Gödels two incompleteness theorems. The theorems are important both in mathematical logic and in the philosophy of mathematics.</p><p>In this video Thore Husfeldt and Niels Marthinsen discuss the outcome of the musical work.</p><p>For more information about the ICALP2014 Conference at the IT University of Copenhagen:&nbsp;</p><p><a href="http://icalp2014.itu.dk">http://icalp2014.itu.dk</a><br></p></p><p><a href="http://video.itu.dk/photo/9973879/the-hilbert-heartbreak-hotel"><img src="http://video.itu.dk/9826383/9973879/20389aa8dbc6db24ea756045040de572/standard/download-1-thumbnail.jpg" width="600" height="338"/></a></p> algorithms gödel prize icalp2014 kurt gödel theoretical computer science